Fundamental theorem of homorphism